Executing Transactions in Zero-Safe Nets
نویسندگان
چکیده
منابع مشابه
Zero-safe net models for transactions in Linda
Zero-safe nets are a variation of Petri nets, where transactions can be suitably modeled. The idea is to distinguish between stable places (whose markings define observable states) and zero-safe places (where tokens can only be temporarily allocated, defining hidden states): Transactions must start and end in observable states. We propose an extension of the coordination language Linda, called ...
متن کاملZero-safe nets: The individual token approach
In this paper we provide both an operational and an abstract concurrent semantics for zero-safe nets under the individual token philosophy. The main feature of zero-safe nets is a primitive notion of transition synchronization. Besides ordinary places, called stable places, zero-safe nets come equipped with zero places, which are empty in any stable marking. Connected transactions represent bas...
متن کامل- Safe Nets , or Transition SynchronizationMade Simple 1
In addition to ordinary places, called stable, zero-safe nets are equipped with zero places, which in a stable marking cannot contain any token. An evolution between two stable markings, instead, can be a complex computation called stable transaction , which may use zero places, but which is atomic when seen from stable places: no stable token generated in a transaction can be reused in the sam...
متن کامل- Safe Nets , or TransitionSynchronization Made
In addition to ordinary places, called stable, zero-safe nets are equipped with zero places, which in a stable marking cannot contain any token. An evolution between two stable markings, instead, can be a complex computation called stable transaction , which may use zero places, but which is atomic when seen from stable places: no stable token generated in a transaction can be reused in the sam...
متن کاملZero-Safe Nets: Composing Nets via Transition Synchronization
Zero-safe nets have been introduced to extend classical Petri nets with a primitive notion of transition synchronization. To this aim, besides ordinary places, called stable, zero-safe nets are equipped with zero places, which cannot contain any token in a stable marking. An evolution between two stable markings is called transaction and can be a complex computation that involves zero places, w...
متن کامل